constructive dilemma

[数] 构造性二难推论